void f(int x, int y){
	int z = 2*y;
	if(x == 100000){
		if(x < z){
			throw new Exception();
		}
	}
}